9.1.3 정적 분석 및 컴파일 오라클의 정의와 범위 설정